Modelling Rational Agents in Multi-Agent Systems
نویسنده
چکیده
This extended abstract gives an overview about my current and future research as well as a summary of my PhD thesis. The thesis is about rational agents in multi-agent systems where the main focus is on formal methods that allow for modelling and reasoning about such systems and its comprised agents. Several aspects of rational agency are treated, for instance, rational agents’ behaviors, coalition formation processes, communication among rational agents, and acting with limited resources. The main questions which are tried to be answered are of the following nature: How do rational agents behave under various restrictions and settings? Complexity issues are considered as well, mainly with respect to model checking.
منابع مشابه
Variable Structure Behavioural Controller for Multi-agent Systems
In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...
متن کاملIterated Boolean Games for Rational Verification
Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. More specifically, rational verification asks whether a given property, expressed as a temporal logic formula, is satisfied in a computation of the system that might be generate...
متن کاملPolicy Management for Virtual Communities of Agents
In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling obligations and permissions in multiagent systems. In particular, the logical framework allows agents to trade off the decision of respecting a norm against the consequences of not respecting it: the possibility that they ...
متن کاملOutput Consensus Control of Nonlinear Non-minimum Phase Multi-agent Systems Using Output Redefinition Method
This paper concerns the problem of output consensus in nonlinear non-minimum phase systems. The main contribution of the paper is to guarantee achieving consensus in the presence of unstable zero dynamics. To achieve this goal, an output redefinition method is proposed. The new outputs of agents are functions of original outputs and internal states and defined such that the dynamics of agents a...
متن کاملStability and Strategic Time-Dependent Behaviour in Multiagent Systems
Temporal reasoning and strategic behaviour are important abilities of multiagent systems. We introduce a game-theoretic framework suitable for modelling selfish and rational agents which can store and reason about the evolution of an environment, and act according to their interests. Our aim is to identify stable interactions: those where no agent has a benefit from changing his behaviour to an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008